$\forall$$J$:$\mathbb{N}$. $\Sigma$1 $\leq$ $n$ $<$ $J$. (1/$n$ $\ast$ $n$) $<$ 2